We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

This book analyzes for the first time in English the ethical theory that underpins Qur’anic legislation by providing a classification of specific verses in which Islam’s holy book discusses moral issues. The principal purpose of this book is to demonstrate the ways in which the Qur’an theoretically and practically provides the moral code to which Muslims around the world adhere. The author divides his analysis into a survey of Qur’anic attitudes towards the basic ethical issues of obligation and responsibility, issues (...) of moral psychology such as motivation and intention, as well as matters of social ethics such as the function of law in society. He then explores the meanings of individual morality, morality within the family and civil society, and the relationship of morality to the idea of the state. (shrink)

In this paper, I plan to show that the use of a specific population concept—Millstein’s Causal Interactionist Population Concept (CIPC)—has interesting and counter-intuitive ramifications for discussions of the reality of biological race in human beings. These peculiar ramifications apply to human beings writ large and to individuals. While this in and of itself may not be problematic, I plan to show that the ramifications that follow from applying Millstein’s CIPC to human beings complicates specific biological racial realist accounts—naïve or otherwise. (...) I conclude with the notion that even if biological races do exist—by fulfilling all of the criteria needed for Millstein’s population concept (which, given particular worries raised by Gannett (Synthese 177:363–385, 2010), and Winther and Kaplan (Theoria 60:54–80, 2013) may not)—the lower-bound limit for the scope of biological racial realism is at the level of populations, and as such they cannot say anything about whether or not individual organisms themselves have races. (shrink)

This text explores how human beings construe experience: experience as a resource, as a potential for understanding, representing and acting on reality.

Recognized in his day as a man of letters equaling Rousseau and Voltaire in France and rivaling Samuel Johnson, David Hume passed from favor in the Victorian age--his work, it seemed, did not pursue Truth but rather indulged in popularization. Although Hume is once more considered as one of the greatest British philosophers, scholars now tend to focus on his thought rather than his writing. To round out our understanding of Hume, M. A. Box in this book charts the interrelated (...) development of Hume's literary ambitions, theories of style, and compositional practice from his Treatise in 1739 through the Enquiries. In so doing, Box makes the case for Hume's career-long concern with the presentational modes of reaching an audience for his philosophical writings. Hume reacted to the popular failure of his masterpiece, A Treatise of Human Nature, Box suggests, by self-consciously exploring strategies in his subsequent works for agreeably bringing his readership to participate in the act of philosophizing. Combining a sensitive grasp of the ways Restoration period and eighteenth-century writers conceived the relations between rhetoric and philosophy with sound readings of particular texts, Box shows how Hume's literary concerns went beyond matters of style to involve persona, structure, and doctrine. While this book helps explain long-standing ambiguities surrounding Hume, especially by pointing out the tension between his created persona and his own voice, it also serves as an excellent introduction to his philosophy. (shrink)

Metabolism is a criterion of life. Three senses are distinguished. The weakest allows strong A-Life: virtual creatures having physical existence in computer electronics, but not bodies, are classes as 'alive'. The second excludes strong A-Life but allows that some non-biochemical A-Life robots could be classed as alive. The third, which stresses the body's self-production by energy budgeting and self-equilibrating energy exchanges of some (necessary) complexity, excludes both strong A-Life and living non-biochemical robots.

The study presents the broad outlines for a relationalist interpretation of the Indian epistemological doctrine svataḥ prāmāṇya. Due to the inadequacy of the main western interpretations thereof, the paper’s approach can be considered an inference to the best explanation. Its main part is devoted to the typologization of various epistemological doctrines based on the svataḥ prāmāṇya principle in terms of strong and weak disjunctivism. Three paradigm cases of strong disjunctivism and a special variety of weak disjunctivism have thus been identified (...) in Indian epistemology, which allowed to draw a conclusion that strong disjunctivism constituted one of its general paradigms. (shrink)

M A B Degenhardt; Sartre, Imagination and Education1, Journal of Philosophy of Education, Volume 9, Issue 1, 30 May 2006, Pages 72–92, https://doi.org/10.1111/j.

Is there an effect of depressed mood on the interpretation of ambiguity? Are depressed individuals biased to interpret ambiguous information in a negative manner? We used a cross-modal semantic priming task to look for evidence of a negative interpretative bias. Participants listened to ambiguous prime sentences (e.g., Joan was stunned by her final exam mark) and made lexical decisions to target words presented immediately after the sentence offset or after a delay of 1000 ms or 2000 ms. For the semantically (...) related targets, the target was negatively related (distress), positively related (success), or neutrally related (grades) to the ambiguous prime. The experiment was conducted with and without a negative mood induction. The expectation was that depressed participants would be more likely to consider the negative interpretations of the ambiguous primes and would therefore experience larger priming effects for negatively related targets. Although there were large priming effects for all semantically related targets, there was no evidence of a negative interpretative bias. (shrink)

This chapter contains sections titled: Philosophies and Philosophers Peters' Authenticity Why Value Authenicity? An Apparent Paradox: Peters' Expressed Disdain for Authenticity Conclusion References.